如果被分割的子句包含BETWEEN语句,则把BETWEEN语句转化成两个不等式约束。 例如:
expr1 BETWEEN expr2 AND expr3
expr1 >= expr2 AND expr1 <= expr3
执行步骤和程序实现如下: